Towards Efficient Reasoning under Guarded-based Disjunctive Existential Rules

International audienceThe complete picture of the complexity of answering (unions of) conjunctive queries under the main guarded-based classes of disjunc- tive existential rules has been recently settled. It has been shown that the problem is very hard, namely 2ExpTime-complete, even for fixed sets of rules expressed in lightweight formalisms. This gives rise to the question whether its complexity can be reduced by restricting the query language. Several subclasses of conjunctive queries have been proposed with the aim of reducing the complexity of classical database problems such as query evaluation and query containment. Three of the most prominent subclasses of this kind are queries of bounded hypertree-width, queries of bounded treewidth and acyclic queries. The central objective of the present paper is to understand whether the above query languages have a positive impact on the complexity of query answering under the main guarded-based classes of disjunctive existential rules. We show that (unions of) conjunctive queries of bounded hypertree- width and of bounded treewidth do not reduce the complexity of our problem, even if we focus on predicates of bounded arity, or on fixed sets of disjunctive existential rules. Regarding acyclic queries, although our problem remains 2ExpTime-complete in general, in some relevant set- tings the complexity reduces to ExpTime-complete; in fact, this requires to bound the arity of the predicates, and for some expressive guarded- based formalisms, to fix the set of rules

Insulin Glargine in the Intensive Care Unit: A Model-Based Clinical Trial Design

Online 4 Oct 2012Introduction: Current succesful AGC (Accurate Glycemic Control) protocols require extra clinical effort and are impractical in less acute wards where patients are still susceptible to stress-induced hyperglycemia. Long-acting insulin Glargine has the potential to be used in a low effort controller. However, potential variability in efficacy and length of action, prevent direct in-hospital use in an AGC framework for less acute wards. Method: Clinically validated virtual trials based on data from stable ICU patients from the SPRINT cohort who would be transferred to such an approach are used to develop a 24-hour AGC protocol robust to different Glargine potencies (1.0x, 1.5x and 2.0x regular insulin) and initial dose sizes (dose = total insulin over prior 12, 18 and 24 hours). Glycemic control in this period is provided only by varying nutritional inputs. Performance is assessed as %BG in the 4.0-8.0mmol/L band and safety by %BG<4.0mmol/L. Results: The final protocol consisted of Glargine bolus size equal to insulin over the previous 18 hours. Compared to SPRINT there was a 6.9% - 9.5% absolute decrease in mild hypoglycemia (%BG<4.0mmol/L) and up to a 6.2% increase in %BG between 4.0 and 8.0mmol/L. When the efficacy is known (1.5x assumed) there were reductions of: 27% BG measurements, 59% insulin boluses, 67% nutrition changes, and 6.3% absolute in mild hypoglycemia. Conclusion: A robust 24-48 clinical trial has been designed to safely investigate the efficacy and kinetics of Glargine as a first step towards developing a Glargine-based protocol for less acute wards. Ensuring robustness to variability in Glargine efficacy significantly affects the performance and safety that can be obtained

Measurement of the Bs0→J/ψKS0B_s^0\to J/\psi K_S^0 branching fraction

The $B_s^0\to J/\psi K_S^0$ branching fraction is measured in a data sample corresponding to 0.41$fb^{-1}$ of integrated luminosity collected with the LHCb detector at the LHC. This channel is sensitive to the penguin contributions affecting the sin2$\beta$ measurement from $B^0\to J/\psi K_S^0$ The time-integrated branching fraction is measured to be $BF(B_s^0\to J/\psi K_S^0)=(1.83\pm0.28)\times10^{-5}$. This is the most precise measurement to date

Measurement of the CP-violating phase \phi s in Bs->J/\psi\pi+\pi- decays

Measurement of the mixing-induced CP-violating phase phi_s in Bs decays is of prime importance in probing new physics. Here 7421 +/- 105 signal events from the dominantly CP-odd final state J/\psi pi+ pi- are selected in 1/fb of pp collision data collected at sqrt{s} = 7 TeV with the LHCb detector. A time-dependent fit to the data yields a value of phi_s=-0.019^{+0.173+0.004}_{-0.174-0.003} rad, consistent with the Standard Model expectation. No evidence of direct CP violation is found.Comment: 15 pages, 10 figures; minor revisions on May 23, 201

Absolute luminosity measurements with the LHCb detector at the LHC

Absolute luminosity measurements are of general interest for colliding-beam experiments at storage rings. These measurements are necessary to determine the absolute cross-sections of reaction processes and are valuable to quantify the performance of the accelerator. Using data taken in 2010, LHCb has applied two methods to determine the absolute scale of its luminosity measurements for proton-proton collisions at the LHC with a centre-of-mass energy of 7 TeV. In addition to the classic "van der Meer scan" method a novel technique has been developed which makes use of direct imaging of the individual beams using beam-gas and beam-beam interactions. This beam imaging method is made possible by the high resolution of the LHCb vertex detector and the close proximity of the detector to the beams, and allows beam parameters such as positions, angles and widths to be determined. The results of the two methods have comparable precision and are in good agreement. Combining the two methods, an overall precision of 3.5% in the absolute luminosity determination is reached. The techniques used to transport the absolute luminosity calibration to the full 2010 data-taking period are presented.Comment: 48 pages, 19 figures. Results unchanged, improved clarity of Table 6, 9 and 10 and corresponding explanation in the tex

Measurement of the ratio of branching fractions BR(B0 -> K*0 gamma)/BR(Bs0 -> phi gamma) and the direct CP asymmetry in B0 -> K*0 gamma

The ratio of branching fractions of the radiative B decays B0 -> K*0 gamma and Bs0 phi gamma has been measured using an integrated luminosity of 1.0 fb-1 of pp collision data collected by the LHCb experiment at a centre-of-mass energy of sqrt(s)=7 TeV. The value obtained is BR(B0 -> K*0 gamma)/BR(Bs0 -> phi gamma) = 1.23 +/- 0.06(stat.) +/- 0.04(syst.) +/- 0.10(fs/fd), where the first uncertainty is statistical, the second is the experimental systematic uncertainty and the third is associated with the ratio of fragmentation fractions fs/fd. Using the world average value for BR(B0 -> K*0 gamma), the branching fraction BR(Bs0 -> phi gamma) is measured to be (3.5 +/- 0.4) x 10^{-5}. The direct CP asymmetry in B0 -> K*0 gamma decays has also been measured with the same data and found to be A(CP)(B0 -> K*0 gamma) = (0.8 +/- 1.7(stat.) +/- 0.9(syst.))%. Both measurements are the most precise to date and are in agreement with the previous experimental results and theoretical expectations.Comment: 21 pages, 3 figues, 4 table

Absolute luminosity measurements with the LHCb detector at the LHC

Absolute luminosity measurements are of general interest for colliding-beam experiments at storage rings. These measurements are necessary to determine the absolute cross-sections of reaction processes and are valuable to quantify the performance of the accelerator. Using data taken in 2010, LHCb has applied two methods to determine the absolute scale of its luminosity measurements for proton-proton collisions at the LHC with a centre-of-mass energy of 7 TeV. In addition to the classic "van der Meer scan" method a novel technique has been developed which makes use of direct imaging of the individual beams using beam-gas and beam-beam interactions. This beam imaging method is made possible by the high resolution of the LHCb vertex detector and the close proximity of the detector to the beams, and allows beam parameters such as positions, angles and widths to be determined. The results of the two methods have comparable precision and are in good agreement. Combining the two methods, an overall precision of 3.5% in the absolute luminosity determination is reached. The techniques used to transport the absolute luminosity calibration to the full 2010 data-taking period are presented.Comment: 48 pages, 19 figures. Results unchanged, improved clarity of Table 6, 9 and 10 and corresponding explanation in the tex

Absolute luminosity measurements with the LHCb detector at the LHC

Absolute luminosity measurements are of general interest for colliding-beam experiments at storage rings. These measurements are necessary to determine the absolute cross-sections of reaction processes and are valuable to quantify the performance of the accelerator. Using data taken in 2010, LHCb has applied two methods to determine the absolute scale of its luminosity measurements for proton-proton collisions at the LHC with a centre-of-mass energy of 7 TeV. In addition to the classic "van der Meer scan" method a novel technique has been developed which makes use of direct imaging of the individual beams using beam-gas and beam-beam interactions. This beam imaging method is made possible by the high resolution of the LHCb vertex detector and the close proximity of the detector to the beams, and allows beam parameters such as positions, angles and widths to be determined. The results of the two methods have comparable precision and are in good agreement. Combining the two methods, an overall precision of 3.5% in the absolute luminosity determination is reached. The techniques used to transport the absolute luminosity calibration to the full 2010 data-taking period are presented.Comment: 48 pages, 19 figures. Results unchanged, improved clarity of Table 6, 9 and 10 and corresponding explanation in the tex

First observation of the decay Bˉs0→D0K∗0\bar{B}^0_s \to D^0 K^{*0} and a measurement of the ratio of branching fractions B(Bˉs0→D0K∗0)B(Bˉ0→D0ρ0)\frac{{\cal B}(\bar{B}^0_s \to D^0 K^{*0})}{{\cal B}(\bar{B}^0 \to D^0 \rho^0)}

The first observation of the decay $\bar{B}^0_s \to D^0 K^{*0}$ using $pp$ data collected by the LHCb detector at a centre-of-mass energy of 7 TeV, corresponding to an integrated luminosity of 36 pb$^{-1}$, is reported. A signal of $34.4 \pm 6.8$ events is obtained and the absence of signal is rejected with a statistical significance of more than nine standard deviations. The $\bar{B}^0_s \to D^0 K^{*0}$ branching fraction is measured relative to that of $\bar{B}^0 \to D^0 \rho^0$: $\frac{{\cal B}(\bar{B}^0_s \to D^0 K^{*0})}{{\cal B}(\bar{B}^0 \to D^0 \rho^0)} = 1.48 \pm 0.34 \pm 0.15 \pm 0.12$, where the first uncertainty is statistical, the second systematic and the third is due to the uncertainty on the ratio of the $B^0$ and $B^0_s$ hadronisation fractions.Comment: 10 pages, 3 figures, submitted to Phys. Lett. B; ISSN 0370-269

Search for direct production of charginos and neutralinos in events with three leptons and missing transverse momentum in √s = 7 TeV pp collisions with the ATLAS detector

A search for the direct production of charginos and neutralinos in final states with three electrons or muons and missing transverse momentum is presented. The analysis is based on 4.7 fb−1 of proton–proton collision data delivered by the Large Hadron Collider and recorded with the ATLAS detector. Observations are consistent with Standard Model expectations in three signal regions that are either depleted or enriched in Z-boson decays. Upper limits at 95% confidence level are set in R-parity conserving phenomenological minimal supersymmetric models and in simplified models, significantly extending previous results